Resource-Aware Automata and Games for Optimal Synthesis
نویسندگان
چکیده
منابع مشابه
Optimal Cost Sharing for Resource Selection Games
Joint use of resources with usage-dependent cost raises the question: who pays how much? We study cost sharing in resource selection games where the strategy spaces are either singletons or bases of a matroid defined on the ground set of resources. Our goal is to design cost sharing protocols so as to minimize the resulting price of anarchy and price of stability. We investigate three classes o...
متن کاملOptimal Strategy Synthesis for Request-Response Games
We show the existence and effective computability of optimal winning strategies for request-response games in case the quality of a play is measured by the limit superior of the mean accumulated waiting times between requests and their responses.
متن کاملInterconnect-Aware Scheduling and Resource Allocation for High-Level Synthesis
Interconnect-Aware Scheduling and Resource Allocation for High-Level Synthesis Awni Itradat, Ph.D. Concordia University, 2009 A high-level architectural synthesis can be described as the process of transforming a behavioral description into a structural description. The scheduling, processor allocation, and register binding are the most important tasks in the high-level synthesis. In the past, ...
متن کاملSynthesis of Resource-Aware Robotic Systems
This paper describes an approach to make robotic systems “resource-aware”, in the sense that they can adapt optimally to the available computation and communication resources. A resource-aware application is one where the functionality implemented depends on the resources usage, such as timing information (latency, throughput) and power consumption. Allowing this flexibility introduces a recurs...
متن کاملQueue-Aware Optimal Resource Allocation for the LTE Downlink
We address the problem of optimal downlink resource allocation in an OFDMA system, in a scenario where very limited channel quality information (CQI) is available at the base-station. Our work is particularly applicable in the context of the LTE downlink, since the feedback mechanism we consider closely resembles one of the CQI reporting modes in LTE. Specifically, the users only report the ind...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2019
ISSN: 2075-2180
DOI: 10.4204/eptcs.305.4